Model theory for extended modal languages
نویسنده
چکیده
207
منابع مشابه
Discrepancies Between Free Vibration of FML and Composite Cylindrical Shells Reinforced by CNTs
In this study, discrepancies between the free vibration of fiber-metal laminate (FML) and composite cylindrical shells reinforced by carbon nanotubes (CNTs) based on Love’s first approximation shell theory have been considered by beam modal function model. The representative volume elements consist of three and four phases for composite and FML structures, respectively, which include fiber, CNT...
متن کاملModel theory for extensions of modal logic
The ESSLLI course material has been compiled by Balder ten Cate and David Gabelaia. Unless otherwise mentioned, the copyright lies with the individual authors of the material. Balder ten Cate and David Gabelaia declare that they have obtained all necessary permissions for the distribution of this material. ESSLLI 2008 and its organizers take no legal responsibility for the contents of this book...
متن کاملExpressivity and Complexity of Reasoning about Coalitional Interaction: Extended Abstract
This paper studies expressivity and complexity of normal modal logics for reasoning about coalitional power in multi-agent systems with agents that have preferences. A class of local and global notions relevant for reasoning about cooperation is identified. Many of these notions naturally correspond to concepts from game theory or social choice theory. The expressive power required to express t...
متن کاملHybrid Completeness
In this paper we discuss two hybrid languages , L(∀) and L(↓), and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to ‘label’ states by using ∀ and ↓ to bind special state variables . This paper explores...
متن کاملDoing Argumentation Theory in Modal Logic
The present paper applies well-investigated modal logics to provide formal foundations to specific fragments of argumentation theory. This logic-driven analysis of argumentation allows: first, to systematize several results of argumentation theory reformulating them within suitable formal languages; second, to import several techniques (calculi, model-checking, evaluation games, bisimulation ga...
متن کامل